The connected 3-regular (cubic) simple graphs are listed for small vertex numbers.
Contents |
The count of simple cubic graphs is 1, 2, 5, 19,... for 2, 4, 6, 8,... vertices (sequence A002851 in OEIS). A classification according to edge connectivity is made as follows: the 1-connected and 2-connected graphs are defined as usual. This leaves the other graphs in the 3-connected class because each 3-regular graph can be split by cutting all edges adjacent to any of the vertices. To refine this definition in the light of the algebra of coupling of angular momenta (see below), a subdivision of the 3-connected graphs is helpful. We shall call
This declares the numbers 3 and 4 in the first column of the tables below.
The LCF notation is a notation by Joshua Lederberg, Coxeter and Frucht, for the representation of cubic graphs that are Hamiltonian.
The two edges along the cycle adjacent to any of the vertices are not written down.
Let v be the vertices of the graph and describe the Hamiltonian circle along the p vertices by the edge sequence v0v1,v1v2, ... ,vp-2vp-1,vp-1v0. Halting at a vertex vi, there is one unique vertex vj at a distance di joined by a chord with vi,
The vector [d0,d1, ..., dp-1] of the p integers is a suitable, although not unique, representation of the cubic Hamiltonian graph. This is augmented by two additional rules:
Since the starting vertex of the path is of no importance, the numbers in the representation may be cyclically permuted. If a graph contains different Hamiltonian circuits, one may select one of these to accommodate the notation. The same graph may have different LCF notations, depending on precisely how the vertices are arranged.
Often the anti-palindromic representations with
are preferred (if they exist), and the redundant part is then replaced by ";-". The LCF notation [5,-9,7,-7,9,-5]4, for example, and would at that stage be condensed to [5,-9,7;-]4.
connectivity | LCF | names |
4 | [2]^4 | K4 |
connectivity | LCF | names |
3 | [2,3,-2]^2 | Wn,2, prism graph Y3 |
4 | [3]^6 | K3,3 |
connectivity | LCF | names |
2 | [2,2,-2,-2]^2 | |
3 | [4,-2,4,2]^2 or [2,3,-2,3;-] | |
3 | [2,4,-2,3,3,4,-3,-3] | |
4 | [-3,3]^4 | cubical graph |
4 | [4]^8 or [4,-3,3,4]^2 | Wagner graph |
connectivity | LCF | names |
1 | Edge list 0-1,0-6,0-9,1-2,1-5,2-3,2-4,3-4,3-5,4-5,6-7,6-8,7-8,7-9,8-9 | |
2 | [4,2,3,-2,-4,-3,2,2,-2,-2] | |
2 | [3,3,3,-3,-3,-3,2,2,-2,-2] | |
2 | [2,3,-2,2,-3,-2,2,2,-2,-2] | |
2 | [2,2,-2,-2,5]^2 | |
3 | [2,3,-2,5,-3]^2 | |
3 | [2,-4,-2,5,2,4,-2,4,5,-4] | |
3 | [5,3,5,-4,-3,5,2,5,-2,4] | |
3 | [-4,3,3,5,-3,-3,4,2,5,-2] | |
3 | [3,-3,5,-3,2,4,-2,5,3,-4] | |
3 | [-4,4,2,5,-2]^2 | |
3 | [5,-2,2,4,-2,5,2,-4,-2,2] | |
3 | [2,5,-2,5,5]^2 | |
3 | [5,-3,-3,3,3]^2 | |
4 | [5,-4,4,-4,4]^2 | |
4 | [5,-4,4,5,5]^2 | |
4 | [5]^10 | |
4 | [-4,4,-3,5,3]^2 | |
4 | Petersen graph |
connectivity | LCF | names |
1 | Edge list 0-1,0-2,0-11,1-2,1-6,2-3,3-4,3-5,4-5,4-6,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11 | |
1 | Edge list 0-1,0-6,0-11,1-2,1-3,2-3,2-5,3-4,4-5,4-6,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11 | |
1 | Edge list 0-1,0-3,0-11,1-2,1-6,2-3,2-5,3-4,4-5,4-6,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11 | |
1 | Edge list 0-1,0-6,0-11,1-2,1-4,2-3,2-5,3-4,3-6,4-5,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11 | |
2 | [4,2,3,-2,-4,-3]^2 | |
2 | [4,2,3,-2,-4,-3,3,3,3,-3,-3,-3] | |
2 | [4,2,3,-2,-4,-3,2,3,-2,2,-3,-2] | |
2 | [3,3,3,-3,-3,-3]^2 | |
2 | [3,3,3,-3,-3,-3,2,3,-2,2,-3,-2] | |
2 | [2,3,-2,2,-3,-2]^2 | |
2 | [6,2,3,-2,3,-3,6,-3,2,2,-2,-2] | |
2 | [6,3,3,4,-3,-3,6,-4,2,2,-2,-2] | |
2 | [4,2,3,-2,-4,-3,5,2,2,-2,-2,-5] | |
2 | [3,3,3,-3,-3,-3,5,2,2,-2,-2,-5] | |
2 | [2,3,-2,2,-3,-2,5,2,2,-2,-2,-5] | |
2 | [5,2,4,-2,3,-5,-4,-3,2,2,-2,-2] | |
2 | [3,4,4,-3,3,-4,-4,-3,2,2,-2,-2] | |
2 | [2,4,-2,4,2,-4,-2,-4,2,2,-2,-2] | |
2 | [2,2,-2,-2,-5,5]^2 | |
2 | [4,5,3,4,-4,-3,-5,-4,2,2,-2,-2] | |
2 | [5,2,-3,-2,6,-5,2,2,-2,-2,6,3] | |
2 | [2,4,-2,3,3,-4,-3,-3,2,2,-2,-2] | |
2 | [2,2,-2,-2,5,3,5,3,-3,-5,-3,-5] | |
2 | [2,2,-2,-2,6,6]^2 | |
2 | [6,-2,2,2,-2,-2,6,2,2,-2,-2,2] | |
2 | [-2,3,-3,2,-3,-2,2,2,-2,-2,2,3] | |
2 | [2,2,-2,-2,5,2,5,-2,2,-5,-2,-5] | |
2 | [-2,-2,2,2]^3 | |
3 | [2,3,-2,3,-3,3,-3;-] | |
3 | [2,3,-2,3,-3,4,-3,3,3,-4,-3,-3] | |
3 | [2,3,-2,3,-3,4,-3,4,2,-4,-2,-4] | |
3 | [2,4,-2,3,4,-4,-3,3,-4,2,-3,-2] | |
3 | [2,4,-2,3,5,-4,-3,3,3,-5,-3,-3] | |
3 | [2,4,-2,3,6,-4,-3,2,3,-2,6,-3] | |
3 | [-5,2,-3,-2,6,3,3,5,-3,-3,6,3] | |
3 | [-4,2,-3,-2,6,2,3,-2,4,-3,6,3] | |
3 | [3,4,4,-3,4,-4,-4,3,-4,2,-3,-2] | |
3 | [3,4,4,-3,5,-4,-4,3,3,-5,-3,-3] | |
3 | [6,3,3,6,-3,-3]^2 | |
3 | [2,5,-2,2,4,-2,-5,3,-4,2,-3,-2] | Frucht graph |
3 | [2,5,-2,2,5,-2,-5,3,3,-5,-3,-3] | |
3 | [2,5,-2,2,6,-2,-5,2,3,-2,6,-3] | |
3 | [3,5,3,-3,4,-3,-5,3,-4,2,-3,-2] | |
3 | [3,5,3,-3,5,-3,-5,3,3,-5,-3,-3] | |
3 | [3,6,4,-3,6,3,-4,6,-3,2,6,-2] | |
3 | [-4,4,2,-4,-2,-4;-] | |
3 | [-4,4,-3,3,6,-4,-3,2,4,-2,6,3] | |
3 | [-5,2,6,-2,5,6,4,5,6,-5,-4,6] | |
3 | [-5,2,4,-2,6,3,-4,5,-3,2,6,-2] | |
3 | [-4,2,3,-2,5,-3,5,3,4,-5,-3,-5] | |
3 | [2,6,-2,3,4,5,-3,6,-4,2,-5,-2] | |
3 | [2,-5,-2,4,5,6,4,-4,5,-5,-4,6] | |
3 | [2,5,-2,4,-5,4,-5,-4,2,-4,-2,5] | |
3 | [3,6,4,-3,4,5,-4,6,-4,2,-5,-2] | |
3 | [3,5,5,-3,-5,4,-5,-5,2,-4,-2,5] | |
3 | [-5,-2,3,-5,5,-3,2,5,-2,-5,5,2] | |
3 | [-4,2,3,-2,6,-3,5,2,4,-2,6,-5] | |
3 | [4,6,6,2,-4,-2]^2 | |
3 | [-5,3,3,5,-3,-3,4,5,-5,2,-4,-2] | |
3 | [5,6,-4,3,4,-5,-3,6,-4,2,4,-2] | |
3 | [-4,5,2,-4,-2,5;-] | Dürer graph |
3 | [2,5,-2,5,3,5,-5,-3,-5,2,-5,-2] | |
3 | [2,-5,-2,3,5,6,-3,3,5,-5,-3,6] | |
3 | [2,6,-2,5,2,5,-2,6,-5,2,-5,-2] | |
3 | [6,-2,2]^4 | |
3 | Tietze's Graph | |
3 | [2,6,-2,6]^3 | |
4 | [-3,3]^6 | |
4 | [3,6,6,-3,6,6]^2 | |
4 | [-4,4,-3,3,5,-4,-3,3,4,-5,-3,3] | |
4 | [4,-5,-5,4,-4,6,4,-4,5,5,-4,6] | |
4 | [4,-5,5,6,-4,5,5,-5,5,6,-5,-5] | |
4 | [4,-4,6]^4 | |
4 | [6,-5,5]^4 | |
4 | [3,-5,5,-3,5,6,4,-5,5,-5,-4,6] | |
4 | [5,-5,-3,4,5,-5,4,-4,5,-5,-4,3] | |
4 | [-5,3,6,-5,-3,4,5,5,6,-4,5,-5] | |
4 | [-3,6,4,-4,4,5,-4,6,-4,3,-5,4] | |
4 | [5,6,6,-4,5,-5,4,6,6,-5,-4,4] | |
4 | [-4,5,-4,4,-5,4,-5,-4,4,-4,4,5] | |
4 | [-3,4,-3,5,3,-4,4,-3,-5,3,-4,3] | |
4 | [-5,3,-3,5,-3,5,3,5,-5,-3,-5,3] | |
4 | [5,-5,-3,3]^3 | Franklin graph |
4 | [3,6,6,-3,-5,5]^2 | |
4 | [6,-5,-4,4,-5,4,6,-4,5,-4,4,5] |
The LCF entries are absent above if the graph has no Hamiltonian cycle, which is rare (see Tait's conjecture). In this case a list of edges between pairs of vertices labeled 0 to n-1 in the third column serves as an identifier.
Each 4-connected (in the above sense) simple cubic graph on 2n nodes defines a class of quantum mechanical 3n-j symbols. Roughly speaking, each vertex represents a 3-jm symbol, the graph is converted to a digraph by assigning signs to the angular momentum quantum numbers j, the vertices are labelled with a handedness representing the order of the three j (of the three edges) in the 3-jm symbol, and the graph represents a sum over the product of all these numbers assigned to the vertices.
There are 1 (6j), 1 (9j), 2 (12j), 5 (15j), 18 (18j), 84 (21j), 607 (24j), 6100 (27j), 78824 (30j), 1195280 (33j), 20297600 (36j), 376940415 (39j) etc. of these (sequence A175847 in OEIS).
If they are equivalent to certain vertex-induced binary trees (cutting one edge and finding a cut that splits the remaining graph into two trees), they are representations of recoupling coefficients, and are then also known as Yutsis graphs (sequence A111916 in OEIS).